Frege systems for extensible modal logics
نویسنده
چکیده
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC ) are polynomially equivalent. Mints and Kojevnikov [11] have recently shown p-equivalence of Frege systems for the Intuitionistic Propositional Calculus (IPC ) in the standard language, building on a description of admissible rules of IPC by Iemhoff [8]. We prove a similar result for an infinite family of normal modal logics, including K4, GL, S4, and S4Grz .
منابع مشابه
Substitution Frege and extended Frege proof systems in non-classical logics
We investigate the substitution Frege (SF ) proof system and its relationship to extended Frege (EF ) in the context of modal and superintuitionistic (si) propositional logics. We show that EF is p-equivalent to tree-like SF , and we develop a “normal form” for SF proofs. We establish connections between SF for a logic L, and EF for certain bimodal expansions of L. We then turn attention to spe...
متن کاملRules with parameters in modal logic I
We study admissibility of inference rules and unification with parameters in transitive modal logics (extensions of K4), in particular we generalize various results on parameterfree admissibility and unification to the setting with parameters. Specifically, we give a characterization of projective formulas generalizing Ghilardi’s characterization in the parameter-free case, leading to new proof...
متن کاملFregean logics
According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A ded...
متن کاملLogics of Truth
This paper surveys three recent semantic theories of truth and compares them from the perspective of their underlying logics. In particular, the underlying logic of the Gupta-Herzberger theory is investigated, and an analysis of modal logics of truth arising from this semantic theory is given. / Theories of truth In recent years there has been a revival in the development of semantic theories o...
متن کاملConstructible Models of Orthomodular Quantum Logics
We continue in this article the abstract algebraic treatment of quantum sentential logics [39]. The Notions borrowed from the field of Model Theory and Abstract Algebraic Logic AAL (i.e., consequence relation, variety, logical matrix, deductive filter, reduced product, ultraproduct, ultrapower, Frege relation, Leibniz congruence, Suszko congruence, Leibniz operator) are applied to quantum logic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 142 شماره
صفحات -
تاریخ انتشار 2006